extension axiom

外延公理